Developing Safety Critical Systems - My Mantras

Developing Safety Critical Systems – My Mantras

Safety-Critical Systems - Professor Martyn Thomas CBE

Gresham College

Embedded: Safety Critical Software & 5 Guiding Principles

Prof. Dr. Florian Leitner-Fischer

Safety-critical systems from the inside - Maciej Gajdzica - NDC Oslo 2020

NDC Conferences

When human life depends on software - introduction to safety-critical systems – Maciej Gajdzica

Can I use agile methods for safety critical systems development?

A Model-Based Tool for Designing Safety-Critical Systems

Software Engineering Institute | Carnegie Mellon University

Open-Source in Safety-Critical Systems? How does that work?

Eclipse Foundation

What is Safety-Critical Software, and How Can Ada and SPARK Help?

Designing for Safety-Critical Medical Applications and Systems

Real-Time Innovations

Software Verification for Low Power, Safety Critical Systems

Formal Methods in Safety-Critical Systems

Challenges in Safety Critical Systems Design and Development

LDRA: You can be assured

L28 Critical Systems

Learning to Control Safety-Critical Systems

Simons Institute

An Architecture-centric Virtual Integration Strategy to Safety-Critical System Verification

Open Source in Safety Critical Applications - Kate Stewart, The Linux Foundation

The Linux Foundation

How to manage safety critical industrial development based on STM32 microcontrollers

STMicroelectronics

Safety-critical applications with IAR System

STMicroelectronics

Webinar Model Based Testing and SafeScrum in a safety critical environment (EN SUBS)